Maude system - PDFSEARCH.IO - Document Search Engine

Maude system
Results: 21

#	Item
11	WRITTEN MINISTERIAL STATEMENT CABINET OFFICE 17 October 2014 Minister for the Cabinet Office and Paymaster General (Rt Hon Francis Maude MP): The Osmotherly Rules _________________________________________________________ Add to Reading List Source URL: www.parliament.uk Language: English - Date: 2014-10-17 08:51:56 Government Cabinet Office House of Lords Osmotherly Rules Parliament of the United Kingdom Select committees of the Parliament of the United Kingdom Francis Maude Prime Minister of the United Kingdom Politics of the United Kingdom Westminster system Government of the United Kingdom
12	Maude Toussaint-Comeau 514 Waikiki Drive Des Plaines, Illinois[removed]Cell : ([removed]Home : ([removed] Add to Reading List Source URL: chicagofed.org Language: English - Date: 2009-03-26 15:04:06 Consumer Confidence Index Federal Open Market Committee Allied Social Sciences Association Michael Boskin Federal Reserve Bank of St. Louis Economics Federal Reserve System Consumer economics
13	Maude Toussaint-Comeau 514 Waikiki Drive Des Plaines, Illinois[removed]Cell : ([removed]Home : ([removed] Add to Reading List Source URL: www.chicagofed.org Language: English - Date: 2009-03-26 15:04:06 Consumer Confidence Index Federal Open Market Committee Allied Social Sciences Association Michael Boskin Federal Reserve Bank of St. Louis Economics Federal Reserve System Consumer economics
14	The Maude 2.0 System M. Clavel F. Dur´an N. Mart´ı-Oliet Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-06-22 06:25:26 ALGOL 68 List Maude system Software engineering Programming language theory Computing
15	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
16	On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:46 Mathematical structures Model theory Formal languages Algebraic structures Metalogic Structure Rewriting Maude system Unification Mathematical logic Mathematics Logic
17	Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 Logic in computer science Software engineering Maude system Functional languages Formal languages Rewriting OBJ Debugging Equational logic Theoretical computer science Programming language theory Mathematical logic
18	The EIGRP Protocol in Maude∗ Adri´an Riesco and Alberto Verdejo Technical Report 3/07 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:14 Data Maude system Enhanced Interior Gateway Routing Protocol Interior gateway protocol Topology table Routing Information Protocol Diffusing update algorithm Interior Gateway Routing Protocol Routing Routing protocols Computing Network architecture
19	Maude Manual (Version 2.6) Manuel Clavel Francisco Dur´an Steven Eker Patrick Lincoln Narciso Mart´ı-Oliet Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2011-01-23 16:32:56 Maude system Functional languages OBJ Unification Maude Algebraic structure Modularity International Space Station Spaceflight Software engineering Theoretical computer science
20	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics